automatic deduction中文是什么意思

• 自动演绎

• "automatic"中文翻译    adj. 1.自动的；机械的。 2.【生理】自动性的，无 ...
• "deduction"中文翻译    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论， ...
• "deduction" 中文翻译 :    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论，推定；【逻辑学】演绎法 (opp. induction)。
• "additional deduction" 中文翻译 :    追加扣分
• "bark deduction" 中文翻译 :    皮厚减量
• "charitable deduction" 中文翻译 :    慈善性支出扣除
• "combination deduction" 中文翻译 :    编排扣分; 成套动作
• "counterclaim or deduction" 中文翻译 :    反索赔或扣减
• "decrease deduction" 中文翻译 :    减少分; 少减分
• "deduction (inference)" 中文翻译 :    推论，演绎
• "deduction allowance" 中文翻译 :    扣抵税款; 宽减额
• "deduction allowed" 中文翻译 :    允许的扣除
• "deduction items" 中文翻译 :    扣除项目
• "deduction method" 中文翻译 :    扣除法; 演绎法
• "deduction of points" 中文翻译 :    加分
• "deduction rule" 中文翻译 :    演绎规则
• "deduction system" 中文翻译 :    演绎系统
• "deduction test" 中文翻译 :    演绎测验
• "deduction theorem" 中文翻译 :    归约定理; 条件证明; 演绎定理
• "deduction total" 中文翻译 :    扣除额合计
• "deduction tree" 中文翻译 :    演绎树
• "deduction wage" 中文翻译 :    提成工资
• "defect deduction" 中文翻译 :    缺陷扣计额
• "depletion deduction" 中文翻译 :    由于矿藏量衰竭而减税
• "depreciation deduction" 中文翻译 :    折旧减余额; 折旧提成

• Establish a customer service center , introduce discount payment system for the automatic deduction of water utility rates from bank accounts and calculation system for daily rate use
  建立消费者服务中心，引入优惠支付系统，通过银行帐户和每日使用频率计算系统自动减少用水费用。
• The model has some properties as follows : can give accurate formal specifications for cryptographic protocols ; has provable semantics which is reasonable and sound ; can define the security properties precisely and reasonably ; is easy to realize automatic deductions
  该模型具有以下特点：能够对密码协议进行精确的形式化描述；具有合理可靠的可证明语义；对密码协议安全性的定义精确合理；便于实现自动化推理。
• With the application of object - oriented program technique and design mode combined compiling language with interpreting language , “ the auto - calculating system for building quantity ” had been finished in delphi5 . 0 , which successfully resolved many problems puzzled us many years in the field of computerization of building quantity , such as the input of building component , flexibility of building component class , re - customization of building component class , automatic transfer of parameters of building component , automatic deduction of quantity of crossed building component , etc . . the auto - calculation of building quantity had been realized so far
  运用面向对象的编程技术和很多编程技巧，采用编译型语言和解释型语言相结合的编程方式，在delphi编程环境下编制完成了“建筑工程量自动计算系统”软件，成功解决了建筑构件信息输入、构件类的开放性、构件类二次开发、构件参数自动传递、相交构件工程量自动扣减、相交基础构件工程量自动扣减等困扰建筑工程量电算化领域多年的难题，实现了建筑工程量自动计算。

• automatic deduction 意味
• automatic deductionとは意味自動推論｛じどう すいろん｝